First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
631	Avoiding the undefined by underspecification Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-12 23:40:08 Model theory Predicate logic Classical logic Propositional calculus Philosophical logic First-order logic Interpretation Modal logic Natural deduction Logic Mathematical logic Mathematics
632	Verifying Temporal Properties without Temporal Logic BOWEN ALPERN IBM T. J. Watson Research Center and FRED B. SCHNEIDER Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2001-11-26 15:52:48 Mathematical logic Büchi automaton First-order logic Finite-state machine FO Function Nested word Muller automaton Automata theory Theoretical computer science Mathematics
633	Adding the Everywhere Operator to Propositional Logic DAVID GRIES and FRED B. SCHNEIDER, Computer Science, Cornell University, Ithaca, NY 14853, USA. E-mail: [removed] Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 22:22:06 Model theory Boolean algebra Logical syntax First-order logic Substitution Propositional formula Interpretation Modal logic Axiom Logic Mathematical logic Propositional calculus
634	On the so-called antinomy of the variable Joshua Schwartz 1 The creation and use of quantifier-variable notations (e.g., “(∀x)(F x)”), which launched the rapid development of mathematical logic in the 19th century, Add to Reading List Source URL: cas.uchicago.edu Language: English - Date: 2012-08-29 15:59:06 Predicate logic Semantics Elementary mathematics Model theory Quantification Function First-order logic Proposition Expression Logic Mathematics Mathematical logic
635	When Best Theories Go Bad1 David Manley University of Southern California It is common for contemporary metaphysical realists to adopt Quine’s criterion of ontological commitment while at the same time repudiating his Add to Reading List Source URL: www-personal.umich.edu Language: English - Date: 2015-01-06 22:12:15 Predicate logic Philosophy of language Semantics Quantification Ontological commitment Plural quantification Meta-ontology First-order logic Intentionality Logic Philosophy Mathematical logic
636	Open-endedness, schemas and ontological commitment∗ Nikolaj Jang Pedersen and Marcus Rossberg December 10, 2008 Abstract Second-order axiomatizations of certain important mathematical theories – such as arithmetic an Add to Reading List Source URL: www.nikolajpedersen.com Language: English - Date: 2010-02-17 05:11:03 Predicate logic Model theory Quantification Analytic philosophers First-order logic George Boolos Second-order arithmetic Peano axioms Second-order logic Logic Mathematical logic Mathematics
637	A language for mathematical knowledge management Steven Kieffer1 , Jeremy Avigad2 , and Harvey Friedman3? 1 2 Add to Reading List Source URL: www.hss.cmu.edu Language: English - Date: 2008-05-06 09:00:00 Model theory Functions and mappings Function First-order logic New Foundations Interpretation Mathematical proof Structure Type theory Mathematics Mathematical logic Logic
638	Progress in the Development of Automated Theorem Proving for Higher-order Logic? Geoff Sutcliffe1 , Christoph Benzm¨ uller2 , 3 Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:11:30 Logic Geoff Sutcliffe CADE ATP System Competition TPTP Vampire Automated reasoning First-order logic Proof assistant Logic programming Automated theorem proving Mathematical logic Theoretical computer science
639	Mathematical Induction[removed]INFORMAL INTRODUCTION The point of metatheory is to establish facts about logic, as distinguished Add to Reading List Source URL: www.jimpryor.net Language: English - Date: 2013-10-26 19:49:52 Mathematical logic Inductive reasoning Mathematical proofs Philosophical logic Model theory Mathematical induction Propositional calculus Recursive definition First-order logic Logic Mathematics Science
640	Ontological Commitment∗ Agust´ın Rayo web.mit.edu/arayo/www/ February 9, [removed] Add to Reading List Source URL: web.mit.edu Language: English - Date: 2008-07-07 12:44:56 Philosophy of language Logical syntax Ontology Truth First-order logic Proposition Entailment Ontological commitment Modal logic Logic Philosophical logic Propositional calculus

UPDATE